241. time systems-Formal methods and hybrid real

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : time data processing ; Congresses. ; - ; Chaochen, Zhou. ; Formal methods (Computer science) ; Congresses. ; Real-Bj?rner, D. ; (Dines), ; 1937